Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
111	Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:02:39 Functions and mappings Theoretical computer science Formal methods Models of computation Model theory Symbol Lambda calculus Interpretation Primitive recursive function Mathematics Mathematical logic Computability theory
112	Denotational Semantics for a Probability Timed Shared-Variable Language Huibiao Zhu1 Jeff Sanders2 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-29 05:02:53 Mathematics Mathematical logic Models of computation Denotational semantics Operational semantics Semantics Algebraic semantics Model theory Structure Programming language semantics Theoretical computer science Logic in computer science
113	Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms? Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Fault-tolerant distrib Add to Reading List Source URL: forsyte.at Language: English - Date: 2013-05-15 09:27:00 Distributed computing Fault tolerance Cryptography Failure Theory of computation Consensus Byzantine fault tolerance Promela Distributed algorithm Fault-tolerant computer systems Concurrent computing Computing
114	1 SecuredTrust: A Dynamic Trust Computation Model for Secured Communication in Multi-Agent Systems Anupam Das and M. Mahfuzul Islam, Member, IEEE, Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2012-12-05 18:42:48 Ethics Science EigenTrust Trust Reputation Affect Law of agency Multi-agent system Agent-based model Reputation management Sociology Law
115	UTP Theories of Undefinedness Jim Woodcock & Victor Bandur University of York UTP Symposium, Paris: 27 August Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-27 02:26:18 Computability theory Formal methods Model theory Models of computation Lambda calculus Predicate Interpretation Function Primitive recursive function Logic Mathematical logic Mathematics
116	ISI INDEXED JOURNAL’S LIST WITH IMPACT FACTORS IJAZ ALI SHOUKAT College of Computer & Information Sciences, King Saud University, Riyadh KSA. ISI-INDEXED JOURNALS PUBLISHING PAPERS IN INFORMATION SECURITY & BIOMETRICS Add to Reading List Source URL: www.emilio.ferrara.name Language: English - Date: 2011-06-13 06:55:06 Computer science Institute of Electrical and Electronics Engineers IEEE Transactions on Multimedia IEEE Transactions on Mobile Computing Actor model Theoretical computer science IEEE Transactions on Evolutionary Computation Jacek M. Zurada IEEE Communications Society International nongovernmental organizations Engineering Science
117	Online Computation with Advice Yuval Emek1 ? , Pierre Fraigniaud2 ?? , Amos Korman2 Add to Reading List Source URL: www.liafa.jussieu.fr Language: English - Date: 2010-02-08 08:39:17 Computational complexity theory Applied mathematics Competitive analysis K-server problem Randomized algorithm Metrical task system Adversary model Minimum spanning tree Bin packing problem Theoretical computer science Online algorithms Analysis of algorithms
118	ON ASYNCHRONOUS DYNAMIC NEURAL FIELD COMPUTATION Wahiba Taouali, Thierry Vi´eville, Nicolas Rougier, Fr´ed´eric Alexandre INRIA Cortex http://cortex.loria.fr ABSTRACT The hallmark of most artificial neural networks is Add to Reading List Source URL: www-sop.inria.fr Language: English - Date: 2010-12-14 10:59:58 Science Neuroscience Artificial neural network Neural oscillation Discrete event dynamic system Actor model Asynchronous cellular automaton Cellular neural network Neural networks Computational neuroscience Cybernetics
119	Satisfiability Modulo Recursive Programs Philippe Suter⋆ , Ali Sinan K¨oksal, and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland {firstname.lastname}@epfl.ch Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-06-13 20:10:28 Computability theory Formal methods Model theory Theory of computation Logic in computer science Satisfiability Modulo Theories Decision problem Function Satisfiability Theoretical computer science Mathematics Mathematical logic
120	Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms? Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Recently we Add to Reading List Source URL: forsyte.at Language: English - Date: 2014-06-05 05:53:48 Fault-tolerant computer systems Fault tolerance Cryptography Theory of computation Consensus Model checking Distributed computing Byzantine fault tolerance Distributed algorithm Computing Theoretical computer science Concurrent computing

UPDATE